Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
- lenguaje formal. Algunos de los sistemas formales más conocidos son la lógica proposicional, la lógica de primer orden y la lógica modal. En la teoría de la…9 kB (1824 palabras) - 11:25 19 abr 2024
- Una lógica clásica o lógica estándar[1][2] es un sistema formal que respeta los siguientes principios: Principio del tercero excluido Principio de no…3 kB (2207 palabras) - 00:11 8 abr 2024
- En lógica, existen muchas concepciones diferentes de la noción de predicado según el contexto y la tradición. En lógica tradicional el predicado es uno…21 kB (2763 palabras) - 00:20 16 feb 2024
- Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales…27 kB (3995 palabras) - 16:14 20 ene 2024
- En lógica aristotélica el juicio de términos se concibe como una relación de dos términos, como atribución de un predicado a un sujeto, concebidos estos…10 kB (1358 palabras) - 22:18 22 abr 2024
- La lógica aristotélica es la lógica basada en los trabajos del filósofo griego Aristóteles, quien es ampliamente reconocido como el padre fundador de la…28 kB (4334 palabras) - 19:24 27 ene 2024
- Proposición (redirección desde Proposicion (lógica))posible asignarle un valor de verdad (usualmente "verdadero" o "falso", aunque en lógica formal se admiten otros valores de verdad diferentes).[2] Una…31 kB (4302 palabras) - 21:54 1 feb 2024
- cuadro de oposición[1] al esquema mediante el cual se estudian las proposiciones con relaciones formales entre los diversos tipos de juicios aristotélicos…14 kB (1107 palabras) - 19:32 14 feb 2023
- Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar…44 kB (5602 palabras) - 15:56 13 feb 2024
- Una lógica no clásica o lógica alternativa es un sistema formal que difiere de manera significativa de las lógicas clásicas. Hay varias formas de hacerlo…15 kB (2684 palabras) - 15:58 13 feb 2024
- lógicos de la Edad Media europea. El descubrimiento de la lógica india entre los especialistas británicos en el siglo XVIII influyó también en la lógica moderna…42 kB (5433 palabras) - 21:04 15 mar 2024
- Silogismo (categoría Lógica aristotélica)verdad de la nieve.[29] Tal ha sido la consideración de los juicios aristotélicos en el silogismo de la lógica tradicional. Hoy día la lógica formal y simbólica…44 kB (5696 palabras) - 13:15 2 ene 2024
- Como lógica india se conoce a una corriente separada, autónoma de la lógica. Se originó en el interior de la filosofía india y , al empezar, avanzaba junto…3 kB (366 palabras) - 05:34 26 may 2023
- Razonamiento (redirección desde Razonamiento logico)lingüística de un razonamiento. El razonamiento lógico o causal es un proceso de lógica mediante el cual, partiendo de uno o más juicios, se deriva la…10 kB (1385 palabras) - 05:15 13 ene 2024
- a trabajos de lógica y metodología científica y a difundir con ellos una peculiar ideología filosófica conocida como «positivismo lógico». Esta corriente…17 kB (2494 palabras) - 08:43 3 may 2024
- En filosofía, lógica y matemática, una propiedad es un atributo o cualidad de un objeto. Por ejemplo, la sangre tiene la propiedad de ser roja. Las propiedades…18 kB (2231 palabras) - 14:50 19 may 2023
- El análisis formal de conceptos (AFC), también denominado análisis de conceptos formales,[Nota 1] en inglés Formal Concept Analysis (FCA), es una teoría…37 kB (4640 palabras) - 19:58 18 ene 2024
- hecho de que las proposiciones de la lógica sean tautologías muestra las propiedades formales -lógicas- del lenguaje y del mundo. El hecho de que una
- son, otra cosa diferente”. Nació así la lógica formal. Aristóteles formalizó el cuadro de oposición de los juicios y las formas válidas del silogismo. Kant
- puramente formales de confirmación, análogamente a la manera como la lógica deductiva suministra criterios puramente formales para determinar la validez de la
- argumentación. 4 Buen razonamiento o juicio. Wikipedia tiene un artículo sobre lógica. lógica booleana lógica formal lógica matemática lógica simbólica
- «Finito como chillido de ratón». «Firme como clavo de mesa.» «Firme como rulo de estatua». «Firme como pisotón de oso». «Formal como burro en corral»